$\forall$$M_{1}$, $M_{2}$, $M_{3}$:MsgA. $M_{1}$ $\subseteq$ $M_{2}$ $\Rightarrow$ $M_{2}$ $\subseteq$ $M_{3}$ $\Rightarrow$ $M_{1}$ $\subseteq$ $M_{3}$